Cantor's proof